package project.parser.ast.exps;

import project.environments.DynamicEnv;
import project.environments.StaticEnv;
import project.environments.Value;
import project.parser.ast.types.Type;

public interface Exp {
	Type typecheck(StaticEnv senv);

	Value evaluate(DynamicEnv denv);
}
